翻訳と辞書
Words near each other
・ Rodik
・ Rodikot
・ Rodil
・ Rodiles
・ Rodilhan
・ Rodilla
・ Rodillo Negro
・ Rodime
・ Rodimiro Amaya Téllez
・ Rodimiro Barrera Estrada
・ Rodimus
・ Rodin (crater)
・ Rodin (surname)
・ Rodin Gallery
・ Rodin Museum
Rodin tool
・ Rodin Younessi
・ Rodina
・ Rodina (magazine)
・ Rodina (political party)
・ Rodina (TV series)
・ Rodina Kirov
・ Rodina Stadium
・ Rodina Stadium (Khimki)
・ Rodina Stadium (Kirov)
・ Rodina watch I
・ Rodina watch II
・ Rodina-class motorship
・ Rodinal
・ Rodine


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Rodin tool : ウィキペディア英語版
Rodin tool
The Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B.
The two main characteristics of the Rodin tool are its ease of use and its extensibility.
The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead demanding the opposite. The Event-B (wiki ) is a useful user and developer resource.
Rodin (Rigorous Open Development Environment for Complex Systems) is
*Extension of Eclipse IDE (Java based)
*Rodin Eclipse Builder coordinates:
*
*Well-formedness + type checker
*
*Proof obligation (PO) generator
*
*Proof manager (PM)
*
*Propagation of changes
==Rodin Proof Manager (PM)==

*PM constructs proof tree for each PO
*Automatic and interactive modes
*PM manages used hypotheses
*PM calls reasoners to
*
*discharge goal, or
*
* split goal into subgoals
*Collection of reasoners:
*
*simplifier, rule‐based, decision procedures, …
*Basic tactics language to define PM and reasoners

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Rodin tool」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.